#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

void syscall_init (void);

typedef int pid_t;
void close_file_by_owner (int);
#endif /**< userprog/syscall.h */
